1.2 Leanによるプログラミングの例